cauchy inequality proof